Entanglement-redistribution boxes

Experimental entanglement redistribution under decoherence channels.

When an initially entangled pair of qubits undergoes local decoherence processes, there are a number of ways in which the original entanglement can spread throughout the multipartite system consisting of the two qubits and their environments. Here, we report theoretical and experimental results regarding the dynamics of the distribution of entanglement in this system. The experiment employs an ...

Boxes: A Symbolic Abstract Domain of Boxes

Numeric abstract domains are widely used in program analyses. The simplest numeric domains over-approximate disjunction by an imprecise join, typically yielding path-insensitive analyses. This problem is addressed by domain refinements, such as finite powersets, which provide exact disjunction. However, developing correct and efficient disjunctive refinement is challenging. First, there must be...

Black Boxes

The non-structure theorems we have discussed in Chapter III rests usually on some freedom on finite sequences and on a kind of order. When our freedom is related to infinite sequences, and to trees, our work is sometimes harder. In particular, we may consider, for λ ≥ χ, χ regular, and φ = φ(x̄0, . . . , x̄α, . . .)α<χ in a vocabulary τ : (∗) For any I ⊆ λ we have a τ–modelMI and sequences āη (fo...

Causal Boxes and Hierar hi al Time Boxes

Enclosing Many Boxes by an Optimal Pair of Boxes